\relax 
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction and Problem Statement}{1}}
\newlabel{sec:intro_statement}{{1}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Background}{1}}
\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Problem Statement}{1}}
\citation{DBLP:conf/issre/TraonMB07}
\citation{DBLP:conf/policy/KalamBMBCSBDT03}
\citation{DBLP:journals/entcs/CuppensCG07}
\@writefile{toc}{\contentsline {section}{\numberline {2}Transforming Access Control Policies into Model Properties}{2}}
\newlabel{sec:models_acp}{{2}{2}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces Partition of access state space}}{4}}
\newlabel{fig:./figures/logsSP.jpg}{{1}{4}}
\citation{lucio:10}
\@writefile{toc}{\contentsline {section}{\numberline {3}Safe Co-Evolution}{5}}
\newlabel{sec:safe_co_evolution}{{3}{5}}
\citation{lucio:10}
\citation{Padberg97refinementversus}
\@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces Transverse momentum distributions}}{6}}
\newlabel{fig:./figures/finalSP.jpg}{{2}{6}}
\bibstyle{latex8}
\bibdata{./bibliography}
\bibcite{DBLP:journals/entcs/CuppensCG07}{1}
\bibcite{DBLP:conf/policy/KalamBMBCSBDT03}{2}
\bibcite{lucio:10}{3}
\bibcite{Padberg97refinementversus}{4}
\bibcite{DBLP:conf/issre/TraonMB07}{5}
\@writefile{toc}{\contentsline {section}{\numberline {4}Experimentation}{7}}
\newlabel{sec:experimentation}{{4}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {5}Discussion}{7}}
\newlabel{sec:discussion}{{5}{7}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Conclusion}{7}}
\newlabel{sec:conclusion}{{6}{7}}
